Data structures

Results: 1048



#Item
81

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2015-06-23 07:14:34
    82

    REDIS data structures persist / restore

    Add to Reading List

    Source URL: matt.sh

    - Date: 2015-04-02 10:44:21
      83

      Algorithms and Data Structures Winter TermExercises for UnitExplicitly representing the shortest paths between all n2 vertex pairs of an n-vertex graph may take space up to Θ(n3 ) (since Θ(n2 ) of those

      Add to Reading List

      Source URL: www-tcs.cs.uni-sb.de

      - Date: 2016-03-16 06:50:44
        84

        Algorithms and Data Structures Winter TermExercises for Unit 3 1. We have seen that any algorithm that finds the minimum and maximum of n keys simulta 3n 

        Add to Reading List

        Source URL: www-tcs.cs.uni-sb.de

        - Date: 2016-02-29 11:55:50
          85

          LATTICE-BASED DATA STRUCTURES FOR DETERMINISTIC PARALLEL AND DISTRIBUTED PROGRAMMING Lindsey Kuper

          Add to Reading List

          Source URL: www.cs.indiana.edu

          - Date: 2015-09-18 23:54:54
            86

            SEMINAR ON PATA STRUCTURES ThAA Ae.rrU.nan WOA enacted by VAVIV RHINP ofi the, UnlveAAAty Nottingham (United Kingdom) and de,att WAth the.on.etA.c.al data Aupportlng ge.o graphic and cartographic AyAtejnA. THOMAS PEUCKE

            Add to Reading List

            Source URL: mapcontext.com

            - Date: 2008-08-29 22:55:23
              87

              Microsoft Word - Supporting Social Data Observatory with Customizable Index Structures on HBase_bookFormat_v26.docx

              Add to Reading List

              Source URL: salsaproj.indiana.edu

              - Date: 2013-09-07 01:08:10
                88

                Algorithms and Data Structures Winter TermExercises for UnitConsider the Jarnik-Prim algorithm for computing a minimum spanning tree. Convince yourself that it can be implemented with Fibonacci heaps to r

                Add to Reading List

                Source URL: www-tcs.cs.uni-sb.de

                - Date: 2016-03-16 18:52:30
                  89

                  On-Disk Authenticated Data Structures for Verifying Data Integrity on Outsourced File Storage Dan Rosenberg 1

                  Add to Reading List

                  Source URL: vulnfactory.org

                  - Date: 2011-02-02 14:11:35
                    90

                    LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper and Ryan Newton Indiana University

                    Add to Reading List

                    Source URL: www.cs.indiana.edu

                    - Date: 2013-09-24 17:31:00
                      UPDATE